Michael Tree - PDFSEARCH.IO - Document Search Engine

Michael Tree
Results: 223

#	Item
61	The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number ? Michael Fellows1,2 and Frances Rosamond1 Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-08-06 03:12:58 NP-complete problems Analysis of algorithms Parameterized complexity Kernelization Bidimensionality Dominating set Tree decomposition Path decomposition Feedback vertex set Theoretical computer science Computational complexity theory Graph theory
62	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
63	Obnoxious Facility Location: Complete Service with Minimal Harm Boaz Ben-Moshe, Matthew J. Katz, Michael Segal Department of Mathematics and Computer Science Ben-Gurion University of the Negev, Beer-Sheva 84105, Israel Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:01:48 Information science Discrete geometry Operations research Diagrams Voronoi diagram Point location Range searching Segment tree FO Mathematics Geometry Computational geometry
64	Minimum Spanning Trees on Polyhedra Michael J. Spriggs J. Mark Keil Department of Computer Science Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:04:26 Spanning tree Network theory Shortest path problem Minimum spanning tree Planar graph Polyhedron Tree Dodecahedron Nearest neighbor graph Graph theory Mathematics Theoretical computer science
65	Parameterized Approximation via Fidelity Preserving Transformations Michael R. Fellows1 , Ariel Kulik2 , Frances Rosamond1 , and Hadas Shachnai3? 1 School of Engineering and IT, Charles Darwin Univ., Darwin, NT Australi Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-03-01 11:15:08 NP-complete problems Analysis of algorithms Parameterized complexity Graph coloring Kernelization Dominating set Vertex cover Time complexity Steiner tree problem Theoretical computer science Computational complexity theory Applied mathematics
66	Discrete Mathematics–252 www.elsevier.com/locate/disc Forbidden minors to graphs with small feedback sets Michael J. Dinneena;∗ , Kevin Cattellb , Michael R. Fellowsb Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-08-06 03:07:31 Tree decomposition Robertson–Seymour theorem Minor Planar graphs Feedback vertex set Forbidden graph characterization Permutation graph Tree Graph Graph theory Graph operations Path decomposition
67	CCCG 2006, Kingston, Ontario, August 14–16, 2006 Spanning trees across axis-parallel segments Michael Hoffmann∗ Abstract. Given a set P of points and a set S of pairwise disjoint axis-parallel line segments in the Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-27 22:58:24 Spanning tree Network theory Shortest path problem Minimum spanning tree Theoretical computer science Graph theory Mathematics
68	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Planar Graphs with Many Perfect Matchings and Forests∗ Michael Biro† Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-07-29 21:46:24 Matching Line graph Graph coloring Tree Graph Path Edge coloring Apollonian network Graph theory Planar graphs Combinatorial optimization
69	In-Memory Distance Threshold Queries on Moving Object Trajectories Michael Gowanlock Henri Casanova Add to Reading List Source URL: navet.ics.hawaii.edu Language: English - Date: 2014-07-02 04:07:05 Discrete geometry Mathematical optimization Nearest neighbor search Numerical analysis R-tree Distance Spatial database Information science Mathematics Information retrieval
70	Stepwise Back-in-time Debugging Vasily Kirilicheva , Eric Secklera , Benjamin Siegmunda , Michael Perscheidb , and Robert Hirschfeldb Hasso Plattner Institute, University of Potsdam, Germany a {firstname.lastname}@studen Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:31 Computing Binary trees Program animation Software testing Debugger Splay tree Software bug Assertion Computer programming Software engineering Debugging